241. Recent trends in algebraic development techniques :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)

رده :
QA76
.
76
.
D47

242. Recent trends in algebraic development techniques

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses

رده :
QA
,
76
.
76
,.
D47
,
W33
,
2006

243. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
3423

244. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
1827

245. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
1589

246. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
1376

247. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
2267

248. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
2755

249. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
76
.
D47
.
W33
2001

250. Relational and Algebraic Methods in Computer Science

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها

رده :
QA
76
.
9
.
M35R4
2015
E-Book
,

251. Relational and algebraic methods in computer science :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science ; Mathematics ; Congresses. ;

252. Relational and algebraic methods in computer science :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science ; Mathematics ; Congresses. ;

253. Relational and algebraic methods in computer science :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.

رده :
QA76
.
9
.
M35

254. Relational and algebraic methods in computer science :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses.

رده :
QA76
.
9
.
M35
R36
2012eb

255. Reversible computation :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.

رده :
QA76
.
9
.
R48

256. Reversible computation :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.

رده :
QA76
.
9
.
L63
R634
2013

257. Selected topics in discrete mathematics: Proceeding of the Moscow Discrete Mathematics Seminar, 1972 - 1990

المؤلف:

المکتبة: (خراسان الجنوبیة)

موضوع: ، Mathematics - Congresses,، Computer science - Mathematics - congresses

رده :
QA
3
.
A4
S44
1994

258. Semantics and algebraic specificatio

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

رده :
QA
,
76
.
7
,.
S435
,
2009

259. Semantics and algebraic specification

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

260. Stochastic algorithms :

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Algorithms ; Congresses ; Stochastic approximation ; Congresses ; Computer science ; Mathematics ; Congresses ;